Topos et fonctionnement narratif

Etalonnage de la sûreté de fonctionnement des systèmes d'exploitation. Spécifications et mise en oeuvre

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Méthode d’optimisation de l’architecture des systèmes automobiles dirigée par le coût et la Sûreté de Fonctionnement

Safety critical and safety related systems are present, today, almost in every car. They ensure different functionalities such as braking, steering and airbag deployment etc... The failure of these systems could lead to hazardous situations. To ensure that the risk in these systems is reduced to an acceptable level, the automotive industry refers to ISO-26262. It is the functional safety standa...

Evaluation Environnementale Des Exploitations Laitieres Par Modelisation Dynamique De Leur Fonctionnement Et Des Flux De Matiere

Offset fémoral et le fonctionnement de la hanche dans la prothèse totale de la hanche

L'offset fémoral est l'élément pronostic le plus important dans l'arthroplastie de la hanche. Sa restauration est devenue de plus en plus une obligation. Toute modification de la valeur native de l'offset retenti sur la qualité du fonctionnement clinique de la hanche. Le but de notre travail était d'évaluer le fonctionnement clinique de la hanche en fonction de la valeur de l'offset fémoral apr...

Modélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG

For efficiency reasons, system designers’ will is to use an integrated set of methods and tools to describe specifications, and also to perform dependability analyses. AADL (Architecture Analysis and Design Language) has proved its capacity for architectural modeling. This paper presents a modeling framework allowing the generation of dependability-oriented analytical models from AADL models, t...